x>=0 and x<=1 and y>=-x and y<=sqrt(x)